- constructively nonrecursive function
- конструктивно нерекурсивная функция
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium